1. Advances in intelligent data analysis X :
پدیدآورنده : João Gama, Elizabeth Bradley, Jaakko Hollmén (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Expert systems (Computer science),Mathematical statistics-- Data processing, Congresses,Mathematical statistics, Congresses
رده :
QA276
.
A1
I58
2011
2. Climbing and walking robots
پدیدآورنده : / M.O. Tokhi, G.S. Virk, M.A. Hossain (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mobile robots , Congresses,Robots, Industrial , Congresses
رده :
E-BOOK
3. Computer and Computing Technologies in Agriculture IV
پدیدآورنده : edited by Daoliang Li, Yande Liu, Yingyi Chen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Agricultural engineering-- Data processing, Congresses.,Agriculture-- Data processing, Congresses.,Artificial intelligence.,Computer networks.,Computer science.,Computer simulation.,Computers, Special purpose.,Food industry and trade-- Data processing, Congresses.,Software engineering.,Artificial Intelligence (incl. Robotics),Computer Communication Networks.,Computer Science.,Information Systems Applications (incl. Internet),Simulation and Modeling.,Software Engineering.,Special Purpose and Application-Based Systems.,Agricultural engineering-- Data processing.,Agriculture-- Data processing.,Artificial intelligence.,Computer networks.,Computer science.,Computer simulation.,Computers, Special purpose.,Food industry and trade-- Data processing.,Software engineering.
رده :
Q334-342
4. Computer integrated manufacturing proceedings of the Seventh CIM Europe Annual Conference, 29-31 May 1991, Turin, Italy
پدیدآورنده : CEC DG XIII: Telecommunications, Information Industries and Innovation. Ed. by R. Vio ...
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : CIM.,Computer integrated manufacturing systems -- Congresses
5. Conceptual modeling--ER 2011 :
پدیدآورنده : Manfred A. Jeusfeld, Lois Delcambre, Tok Wang Ling (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer simulation, Congresses,Conceptual structures (Information theory)-- Congresses,Database design, Congresses,Relational databases-- Congresses
رده :
QA76
.
9
.
C65
I58
2011
6. DNA computing and molecular programming :
پدیدآورنده : David Doty, Hendrik Dietz (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Molecular computers, Congresses.,Artificial Intelligence.,Coding and Information Theory.,Computation by Abstract Devices.,Computer Systems Organization and Communication Networks.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Artificial intelligence.,Coding theory & cryptology.,Computer networking & communications.,Computer programming-- software development.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Machine Theory.,Computers-- Programming-- General.,Image processing.,Molecular computers.,User interface design & usability.
رده :
QA76
.
887
.
I58
2018eb
7. Declarative programming and knowledge management :
پدیدآورنده : edited by Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Declarative programming, Congresses.,Artificial Intelligence (incl. Robotics).,Logics and Meanings of Programs.,Numeric Computing.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Declarative programming.,Mathematical theory of computation.,Software Engineering.
رده :
QA76
.
615
8. Discovery science :
پدیدآورنده : Tapio Elomaa, Jaakko Hollmén, Heikki Mannila (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data mining, Congresses,Discoveries in science, Congresses,Research-- Data processing, Congresses,Science-- Philosophy, Congresses
رده :
Q174
.
I58
2011
9. NASA formal methods :
پدیدآورنده : Aaron Dutle, César Muñoz, Anthony Narkawicz (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,Artificial intelligence.,Computer modelling & simulation.,Computer science.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
9
.
F67
10. New advances in mechanism and machine science :
پدیدآورنده : Ioan Doroftei, Cezar Oprisan, Doina Pisla, Erwin Christian Lovasz, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Machinery, Congresses.,Mechanical engineering, Congresses.,Computer modelling & simulation.,Cybernetics & systems theory.,Engines & power transmission.,Machinery.,Mechanical engineering.,Robotics.,TECHNOLOGY & ENGINEERING-- Mechanical.
رده :
TJ5
11. On the move to meaningful internet systems: OTM 2011 Workshops :
پدیدآورنده : Robert Meersman, Tharam Dillon, Pilar Herrero (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Business-- Data processing, Congresses,Computer networks, Congresses,Internet, Congresses,Software engineering, Congresses
رده :
TK5105
.
5
.
O86
2011
12. PRIMA 2018 :
پدیدآورنده : Tim Miller, Nir Oren, Yuko Sakurai, Itsuki Noda, Bastin Tony Roy Savarimuthu, Tran Cao Son (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Multiagent systems, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Multiagent systems.,Network hardware.,Software Engineering.
رده :
QA76
.
76
.
I58
13. Proceedings of International Conference on Recent Advancement on Computer and Communication :
پدیدآورنده : Basant Tiwari, Vivek Tiwari, Kinkar Chandra Das, Durgesh Kumar Mishra, Jagdish C. Bansal, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks, Congresses.,Internet of things, Congresses.,Computer networks.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Internet of things.
رده :
TK5105
.
5
14. Proceedings of 2nd International Conference on Communication, Computing and Networking :
پدیدآورنده : C. Rama Krishna, Maitreyee Dutta, Rakesh Kumar, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks, Congresses.,Data mining, Congresses.,Artificial Intelligence (incl. Robotics).,Big Data.,Communications Engineering, Networks.,Artificial intelligence.,Communications engineering / telecommunications.,Computer networks.,COMPUTERS / Computer Literacy.,COMPUTERS / Computer Science.,COMPUTERS / Data Processing.,COMPUTERS / Hardware / General.,COMPUTERS / Information Technology.,COMPUTERS / Machine Theory.,COMPUTERS / Reference.,Data mining.,Databases.
رده :
TK5105
.
5
15. Recent Research in Control Engineering and Decision Making /
پدیدآورنده : editors, Olga Dolinina, Alexander Brovko, Vitaly Pechenkin, Alexey Lvov, Vadim Zhmud and Vladik Kreinovich.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic control, Congresses.,Decision making-- Data processing, Congresses.,Decision support systems, Congresses.,Automatic control.,BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Decision making-- Data processing.,Decision support systems.
رده :
T58
.
62
16. RoboCup 2017 :
پدیدآورنده : Hidehisa Akiyama, Oliver Obst, Claude Sammut, Flavio Tonidandel (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Robotics, Congresses.,Soccer-- Computer simulation, Congresses.,Artificial Intelligence.,Image Processing and Computer Vision.,Software Engineering.,Special Purpose and Application-Based Systems.,Systems and Data Security.,User Interfaces and Human Computer Interaction.,Artificial intelligence.,Artificial intelligence.,Computer security.,Computers-- Computer Graphics.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Computers-- User Interfaces.,Expert systems-- knowledge-based systems.,Image processing.,Robotics.,Soccer-- Computer simulation.,Software Engineering.,User interface design & usability.
رده :
TJ210
.
3
17. Smart technology :
پدیدآورنده : Francisco Torres Guerrero, Jorge Lozoya-Santos, Eduardo Gonzalez Mendivil, Leticia Neira-Tovar, Pablo G. Ramírez Flores, Jorge Martin-Gutierrez (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Internet of things, Congresses.,Artificial intelligence.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- User Interfaces.,Expert systems-- knowledge-based systems.,Graphics programming.,Image processing.,Information retrieval.,Internet of things.,User interface design & usability.
رده :
Q334
18. Soft computing applications and intelligent systems :
پدیدآورنده : Shahrul Azman Noah, Azizi Abdullah, Haslina Arshad, Azuraliza Abu Bakar, Zulaiha Ali Othman, Shahnorbanun Sahran, Nazlia Omar, Zalinda Othman (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Intelligent agents (Computer software), Congresses,Soft computing, Congresses
رده :
QA76
.
9
.
S63
I58
2013
19. Software engineering for experimental robotics
پدیدآورنده : / Davide Brugali (ed.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Robotics Congresses,Computer software- Development
رده :
E-BOOK
20. Software engineering for experimental robotics
پدیدآورنده : / Davide Brugali (ed.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Robotics Congresses,Computer software- Development
رده :
TJ210
.
3
.
S65
2007
